Mining Requirements From Closed-Loop Control Models
نویسندگان
چکیده
منابع مشابه
Mining Weighted Requirements from Closed-Loop Control Models
Specification defects are a major source of ambiguities and errors. We propose a new weighted requirement mining framework to address this problem. We define weighted and parametric weighted signal temporal logic (STL) as the underlying formalism to improve the expressiveness. This also improves convergence of the mining process. We provide some primitive results to show the benefit of the new ...
متن کاملClinical requirements for closed-loop control systems.
Closed-loop (CL) therapy systems should be safe, efficacious, and easily manageable for type 1 diabetes mellitus patient use. For the first two clinical requirements, noninferiority and superiority criteria must be determined based on current conventional and intensive therapy outcomes. Current frequencies of hypoglycemia and diabetic ketoacidosis are reviewed and safety expectations for CL the...
متن کاملLearning open-loop from closed-loop control
This paper explores an evolution from closed-loop control to open-loop control for a planar manipula-tor. A reinforcement learning strategy is used to learn the open-loop commands from the closed-loop control. The goal is to produce a motion using purely open-loop control strategy, thereby eliminating the need for inter-link communication and on-line control computations. Initially closed loop ...
متن کاملFrom experiment design to closed-loop control
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers from a statistical perspective. It is argued that a guiding principle should be to model as well as possible before any model or controller simplifications are made as this ensures the best statistical accuracy. This d...
متن کاملClosed Loop Control
Background The purpose of this study was to evaluate electrode temperatures obtained using a radiofrequency ablation system that incorporates closed loop feedback control to achieve preset target electrode temperatures and to determine if closed loop temperature control results in a lower incidence of developing a coagulum. Methods and Results Two hundred seventy patients underwent catheter abl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2015
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2015.2421907